home *** CD-ROM | disk | FTP | other *** search
/ MacHack 1994 / MacHack 1994.toast / MacHack™94 / Talks & Papers / Timothy Knox / Help / Help Files / Constraints / Full < prev    next >
Encoding:
Text File  |  1994-06-24  |  706 b   |  30 lines  |  [TEXT/Help]
  1. { DEUX+DEUX+DEUX+NEUF+NEUF=FULL }
  2. (c)
  3.  
  4. ;;; Variables
  5. (r0 f x l r1 u r2 e n d)
  6.  
  7. ;;; Constraints
  8. ((=? (+ (* 3 x)(+ f f)) (+ l (* 10 r0)))
  9.  (=? (+ (* 5 u) r0) (+ l (* 10 r1)))
  10.  (=? (+ (* 5 e) r1) (+ u (* 10 r2)))
  11.  (=? (+ (* 3 d) (+ (+ n n) r2)) f)
  12.  (<>? f u) (<>? f l) (<>? f x) (<>? f e)
  13.  (<>? f n) (<>? f d) (<>? u l) (<>? u x)
  14.  (<>? u e) (<>? u n) (<>? u d) (<>? l x)
  15.  (<>? l e) (<>? l n) (<>? l d) (<>? x e)
  16.  (<>? x n) (<>? x d) (<>? e n) (<>? e d)
  17.  (<>? n d) (<>? d 0) (<>? n 0) (<>? f 0))
  18.  
  19. ;;; Domains
  20. ((0 1 2 3 4)
  21.  (0 1 2 3 4 5 6 7 8 9)
  22.  (0 1 2 3 4 5 6 7 8 9)
  23.  (0 1 2 3 4 5 6 7 8 9)
  24.  (0 1 2 3 4)
  25.  (0 1 2 3 4 5 6 7 8 9)
  26.  (0 1 2 3 4)
  27.  (0 1 2 3 4 5 6 7 8 9)
  28.  (0 1 2 3 4 5 6 7 8 9)
  29.  (0 1 2 3 4 5 6 7 8 9))
  30.